Eliminating Run-Time Errors with Agda - Computerphile Computerphile 18:37 2 years ago 65 040 Скачать Далее
Error Detection and Flipping the Bits - Computerphile Computerphile 8:24 10 years ago 119 034 Скачать Далее
Multiple Dimension Error Correction - Computerphile Computerphile 16:36 7 years ago 109 717 Скачать Далее
The Hardest Problem in Type Theory - Computerphile Computerphile 23:40 2 years ago 129 568 Скачать Далее
Error Correction & International Book Codes - Computerphile Computerphile 21:13 5 years ago 82 148 Скачать Далее